Initially dense objects for metrically generated theories
نویسندگان
چکیده
منابع مشابه
Multi fluidity and Solitary wave stability in cold quark matter: core of dense astrophysical objects
Considering the magneto-hydrodynamic equations in a non-relativistic multi uid framework, we study the behavior of small amplitude perturbations in cold quark matter. Magneto-hydrodynamic equations, along with a suitable equation of state for the cold quark matter, are expanded using the reductive perturbation method. It is shown that in small amplitude approximation, such a medium should be co...
متن کاملCombining Theories Sharing Dense Orders
The Nelson-Oppen combination method combines decision procedures for first-order theories satisfying certain conditions into a single decision procedure for the union theory. The Nelson-Oppen combination method can be applied only if the signatures of the combined theories are disjoint. Combination tableaux (C-tableaux) are an extension of Smullyan tableaux for combining first-order theories wh...
متن کاملUnifying Theories of Objects
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operational small-step evaluation rule semantics, and a corresponding UTP model with a denotational relational predicate semantics. For clarity, the UTP model is defined in terms of an operand stack, which is used to store the ...
متن کاملMetrically Transitive Point
denote a denumerable set of point transformations in w-dîmensional euclidean space, the transformations of which leave a certain ^-dimensional (p^n) region R (regionsopen, connected point set) of this space invariant. The case where R is the entire w-dimensional space is not excluded. The set of transformations (1) will be said to be metrically transitive with respect to R, if the complement se...
متن کاملEffective Theories of Dense and Very Dense Matter
The exploration of the phase diagram of dense baryonic matter is an area of intense theoretical and experimental activity. Baryonic systems, from dilute neutron matter at low density to superconducting quark matter at high density, exhibit an enormous variety of many-body effects. Despite its simplicity all these phenomena are ultimately described by the lagrangian of QCD. In practice it is usu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2009
ISSN: 0166-8641
DOI: 10.1016/j.topol.2009.03.023